<div id="menu">
    <ul>
        <li class="menuitem"><a href="index.php">Accueil</a></li>
        <li class="menuitem"><a href="module-referentiel-afficher_referentiel.html">Référentiel</a></li>
        <?php if (!utilisateur_est_connecte()) { ?>
        <li class="menuitem"><a href="module-utilisateurs-connexion.html">Connexion</a></li>
        <?php } else { ?>
        <li class="menuitem"><a href="module-utilisateurs-compte.html">Mon compte (<?php echo $_SESSION['role']; ?>)</a></li>
        <li class="menuitem"><a href="module-utilisateurs-deconnexion.html">Déconnexion</a></li>
        <?php } ?>
        
        <li class="menuitem"><a href="#">Contact</a></li>
    </ul>
</div>